mapfilter($f$; $P$; $L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$map($f$; filter($P$; $L$))